381. STOC'11 : proceedings of the 43rd ACM Symposium on Theory of Computing, June 6-8, 2011, San Jose, California, USA
Author: sponsored by : ACM SIGACT; supported by : Microsoft Research, Google, and IBM
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Electronic digital computers,Congresses ، Electronic data processing,Congresses ، Computer programming,Congresses ، Computational complexity
Classification :
QA
267
.
7
.
A25
2011
382. Semantics and algebraic specificatio
Author: / Jens Palsberg (ed.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Mosses, Peter.,Programming languages (Electronic computers)--Semantics--Congresses,Computer science--Mathematics--Congresses
Classification :
QA
,
76
.
7
,.
S435
,
2009
383. Semantics and algebraic specification
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Mosses, Peter. ; Programming languages (Electronic computers) ; Semantics ; Congresses. ; Computer science ; Mathematics ; Congresses. ; Algebraische Spezifikation ; Aufsatzsammlung. ; Formale Methode ; Aufsatzsammlung. ; Programmiersprache ; Semantik ; A
384. Semantics-directed compiler generation : proceedings of a Workshop, Aarhus, Denmark, January 1980
Author: edited by Neil D. Jones
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Compilers )Computer programs(,Congresses ، Programming languages )Electronic computers( -- Semantics
Classification :
QA
76
.
L28
Vol
.
94
385. Semantics for concurrency : proceedings of the International BCS-FACS Workshop
Author: / sponsored by Logic for IT (S.E.R.C.), 23-25 July 1990, University of Leicester, UK
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: Parallel programming (Computer science) - Congresses,Programming languages (Electronic computers) - Semantics - Congresses
Classification :
QA76
.
642
.
I56
1990
386. Semantics : foundations and applications : REX Workshop, Beekbergen, The Netherlands, June 1-4, 1992 : Proceedings
Author: J.W. de Baker, W.P. de Roever, G. Rozenberg )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Programming languages )Electronic computers( -- Semantics
Classification :
QA
76
.
L28
Vol
.
666
387. Semantics : foundations and applications : REX Workshop, Beekbergen, the Netherlands, June 1-4, 1992 : proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Programming languages )Electronic computers(-- Semantics-- Congresses
Classification :
QA
76
.
7
.
R49
1992
388. Semantics of concurrent computation :
Author: edited by Gilles Kahn.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Parallel processing (Electronic computers) -- Congresses.,Programming languages (Electronic computers) -- Semantics -- Congresses.,Traitement simultané (Ordinateurs) -- Congrès.
Classification :
QA76
.
6
E358
1979
389. Semantics of concurrent computation : proceedings of the international symposium, Evian, France, July 2-4, 1979
Author: International Symposium on Semantics of Concurrent Computation, )9791, Evian-les-Bains, France(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Parallel processing )Electronic computers(-- Congresses,، Programming languages )Electronic computers(-- Semantics-- Congresses
Classification :
QA
76
.
6
.
I577
1979
390. Simulation programming languages
Author:
Library: Central Library of Esfehan University of Technology (Esfahan)
Subject: Programming languages (Electronic computers) -- Congresses►Simulation methods -- Congresses
Classification :
76
.
5
.
I3
391. Simulation programming languages. Proceedings of the IFIP Working Conference on Simulation Programming Languages
Author: IFIP Working Conference on Simulation Programming Languages, )7691, Oslo, Norway(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Programming languages )Electronic computers(-- Congresses,، Simulation methods-- Congresses
Classification :
QA
76
.
5
.
I3
1967
392. Simulation programming languages. Proceedings of the IFIP Working Conference on Simulation Programming Languages
Author: / Edited by J. N. Buxton
Library: Library of College of Science University of Tehran (Tehran)
Subject: Programming languages (Electronic computers) -- Congresses,Simulation methods -- Congresses
Classification :
QA
76
.
5
.
I3
1967
393. Software Engineering; an Advancd Course
Author: edited by F. L. Bauer
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Programming- Congresses ، Electronic digital computers,Congresses ، Programming languages )Electronic computers(
Classification :
QA
76
.
6
.
A33
1972a
394. Software engineering
Author:
Library: Central Library of Esfehan University of Technology (Esfahan)
Subject: Electronic digital computers- Programming Congresses
Classification :
76
.
6
.
S6173
395. Software engineering: an advanced course
Author: )by( F.L. Bauer...)et al.( edited by F. L.Bauer
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Programing - Congresses ، Electronic digital computers,Congresses ، Programming languages )Electronic computers(
Classification :
QA
76
.
6
.
A33
1972b
396. Software engineering: an advanced course Reprint of the first edition
Author: / Edited by F. L. Bauer
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Electronic digital computers - Programming - Congresses,Programming language (Electronic computers) - Congresses
Classification :
001
.
6425
S681
397. Software engineering; concepts and techniques. Proceedings of the NATO conferences
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Electronic digital computers-programming-- Congresses
Classification :
QA
76
.
6
.
S618
398. Software engineering: concepts and techniques; proceedings of the NATO Conferences
Author: / Edited by Peter Naur, Brian Randell, J. N. Buxton
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Electronic digital computers - Programming - Congresses
Classification :
642
.
5
S6815
399. Software engineering education: needs and objectives; proceddings of and interface Workshop
Author: Interface workshop on Software Engineering Education, University of California, Irvine
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Programming - Study and Teaching)Higher( - Congresses ، Electronic digital computers
Classification :
QA
76
.
6
.
I527
1976
400. Software engineering; proceedings of a symposium
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Electronic digital computers-programming-- Congresses
Classification :
QA
76
.
6
.
S96
